About Some New Methods of Analytical Philosophy. Formalization, De-formalization and Topological Hermeneutics

The Philosophy and Formalization of the Informational

This paper deals with basic and advanced principles and consequences of the informational in a philosophical, formalistic (symbolic), schematic, and graphical way. The central notion is informational entity as the operand and its interaction (operational property) with other entities and itself. Informational externalism, internalism, metaphysicalism, and phenomenalism are principles constituti...

Some Remarks on Gb Formalization and Implementation

Formalization of Transform Methods Using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light...

on the comparison of keyword and semantic-context methods of learning new vocabulary meaning

the rationale behind the present study is that particular learning strategies produce more effective results when applied together. the present study tried to investigate the efficiency of the semantic-context strategy alone with a technique called, keyword method. to clarify the point, the current study seeked to find answer to the following question: are the keyword and semantic-context metho...

A New Formalization of Probabilistic GLR Parsing

This paper presents a new formalization of probabilistic GLR language modeling for statistical parsing. Our model inherits its essential features from Briscoe and Carroll's generalized probabilistic LR model [3], which obtains context-sensitivity by assigning a probability to each LR parsing action according to its left and right context. Briscoe and Carroll's model, however, has a drawback in ...